nfa subsequences